Proof Of Utility-Maximizing Condition